How to take into account general and contextual knowledge for interactive aiding design: Towards the coupling of CSP and CBR approaches

The goal of this paper is to show how it is possible to support design decisions with two different tools relying on two kinds of knowledge: case-based reasoning operating with contextual knowledge embodied in past cases and constraint filtering that operates with general knowledge formalized using constraints. Our goals are, firstly to make an overview of existing works that analyses the various ways to associate these two kinds of aiding tools essentially in a sequential way. Secondly, we propose an approach that allows us to use them simultaneously in order to assist design decisions with these two kinds of knowledge. The paper is organized as follows. In the first section, we define the goal of the paper and recall the background of case-based reasoning and constraint filtering. In the second section, the industrial problem which led us to consider these two kinds of knowledge is presented. In the third section, an overview of the various possibilities of using these two aiding decision tools in a sequential way is drawn up. In the fourth section, we propose an approach that allows us to use both aiding decision tools in a simultaneous and iterative way according to the availability of knowledge. An example dealing with helicopter maintenance illustrates our proposals

Optimisation of the concurrent product and process configuration: an approach to reduce computation time with an experimental evaluation

International audienceConcurrent configuration of a product and its associated production process is a challenging problem in customer/supplier relations dealing with customisable or configurable products. It gathers in a single model multiple choices and constraints which come simultaneously from products (choices of components or functionalities), from processes (choices of resources and quantities) and from their mutual interrelations. Considering this problem as a Constraint Satisfaction Problem (CSP), the aim of this article is to improve its optimisation, while considering multiple objectives. Using an existing evolutionary optimisation algorithm as a basis, we propose an approach that reduces the computation time required for optimisation. The idea is first to quickly compute a rough Pareto of solutions, then ask the user to select an area of interest, and finally to launch a second computation on this restricted area. After an introduction to the problem, the approach is explained and the algorithm adaptations are presented. Then various computation experiments results demonstrate that computation times are significantly reduced while keeping the optimality level

Aiding design with constraints: an extension of quad trees in order to deal with piecewise functions

Issu de : IESM'05 - International Conference on Industrial Engineering and Systems Management, Marrakech, MOROCCO, May 16-19, 2005International audienceThis paper deals with aiding preliminary design when considered as a constraint satisfaction problem (CSP). In this case, constraint filtering techniques provide some kind of interactive assistance to the designer. However, some kinds of numerical constraints corresponding with numerical relations cannot be filtered precisely with classical analytical filtering techniques such as interval arithmetic or box-consistency; it is therefore necessary to discretize them in order to include them in the CSP. To this end, quad trees (QT) have been proposed for binary constraints, or 2k trees when more than two variables are considered; but QT assume that a constraint must be defined by a single numerical function. The aim of this paper is to show that QT techniques can be extended when a constraint is defined by a piecewise function or by a set of numerical functions defined on intervals. The first section recalls some basics relevant to the preliminary design problem and the interests of the CSP assistance. The second section presents the principles of the QT. The last section describes our contributions relevant to QT extensions dealing with piecewise functions

Aide à la conception d'opérations de traitement thermique et estimation des distortions en résultant par exploitation de connaissances expertes

Cet article présente les résultats d'un projet européen dont l’objectif est d’aider à la conception d’opérations de traitement thermique. Pour cela, de la connaissance experte a  été capitalisée et formalisée pour d'une part, aider à la définition d'une opération de traitement thermique et d'autre part, estimer les distorsions en résultant. Après une présentation du contexte de ce projet, l’extraction des connaissances et leur formalisation par des approches par contraintes seront présentées

Pseudoentropic Isometries: A New Framework for Fuzzy Extractor Reusability

Fuzzy extractors (Dodis \textit{et al.}, Eurocrypt 2004) turn a noisy secret into a stable, uniformly distributed key. \textit{Reusable} fuzzy extractors remain secure when multiple keys are produced from a single noisy secret (Boyen, CCS 2004). Boyen proved that any information-theoretically secure reusable fuzzy extractor is subject to strong limitations. Simoens \textit{et al.} (IEEE S\&P, 2009) then showed deployed constructions suffer severe security breaks when reused. Canetti \textit{et al.} (Eurocrypt 2016) proposed using computational security to sidestep this problem. They constructed a computationally secure reusable fuzzy extractor for the Hamming metric that corrects a \emph{sublinear} fraction of errors. We introduce a generic approach to constructing reusable fuzzy extractors. We define a new primitive called a \emph{reusable pseudoentropic isometry} that projects an input metric space to an output metric space. This projection preserves distance and entropy even if the same input is mapped to multiple output metric spaces. A reusable pseudoentropy isometry yields a reusable fuzzy extractor by 1) randomizing the noisy secret using the isometry and 2) applying a traditional fuzzy extractor to derive a secret key. We propose reusable pseudoentropic isometries for the set difference and Hamming metrics. The set difference construction is built from composable digital lockers (Canetti and Dakdouk, Eurocrypt 2008) yielding the first reusable fuzzy extractor that corrects a {\it linear} fraction of errors. For the Hamming metric, we show that the second construction of Canetti \textit{et al.} (Eurocrypt 2016) can be seen as an instantiation of our framework. In both cases, the pseudoentropic isometry\u27s reusability requires noisy secrets distributions to have entropy in each symbol of the alphabet. Lastly, we implement our set difference solution and describe two use cases

Nouvelles raisons d’agir des acteurs de la pêche et de l’agriculture

Les acteurs de la pêche et de l’agriculture (professionnels, institutions d'enseignement, techniciens, organisations professionnelles et syndicales, politiques et législateurs, chercheurs, consommateurs…) font l'expérience de l’évolution des techniques et des droits à produire et à prélever la ressource vivante. Les agriculteurs et les pêcheurs se questionnent sur les raisons de faire leur métier, de s’y maintenir et de le transformer par de nouveaux modes de transmission, de débat et par de nouvelles solidarités. Les auteurs, des chercheurs en sciences sociales et des professionnels des deux filières, examinent les situations les plus propices au développement de nouvelles raisons d'agir et de nouveaux savoirs : débats sur la gestion des ressources renouvelables, décisions relatives au contenu du métier et à sa transmission, mutations professionnelles ou encore nouvelle division du travail. Les situations présentées permettent un éclairage contrasté des secteurs de la pêche et de l'agriculture, et plus particulièrement : – de l’évolution des raisons d’agir et des savoirs des professionnels, des scientifiques, des législateurs mais aussi des nouveaux arrivants, notamment dans leur rapport à l’écologie. Comment de nouvelles raisons d’agir et de nouveaux savoirs émergent-ils des divisions et des conflits ? – des transformations du travail et de la formation professionnelle dans les deux secteurs. Comment les référentiels de formation et les pratiques didactiques modifient-ils les enjeux cognitifs, environnementaux, économiques et sociaux des activités de pêche et d’agriculture ? Ces questions majeures intéresseront à la fois les pêcheurs et les agriculteurs, les concepteurs de politiques publiques et les scientifiques

Planification distribuée pour la coopération multi-agents

Permettre à plusieurs agents de planifier et de coordonner leurs activités de manière distribuée tel est l'objectif des travaux présentés dans ce mémoire. L'approche proposée s'appuie sur des opérateurs de composition de plans. Afin de gérer au mieux les interactions entre différents agents, leurs plans sont produits par IxTeT, un système de planification permettant la prise en compte de contraintes temporelles numériques et gérant le parallélisme des tâches ainsi que le partage de ressources. Les deux premiers chapitres décrivent le formalisme logique utilisé par IxTeT ainsi que le fonctionnement du planificateur lui-même et les améliorations qu'il est possible d'y apporter. Le troisième chapitre détaille alors formellement les méthodes et algorithmes permettant de réaliser des opérateurs de composition de plans: union de plans, insertion de nouveaux buts dans un plan existant. On y démontre leurs limites théoriques. Le quatrième chapitre décrit la mise en œuvre de ces opérateurs en exhibant des algorithmes tant pour améliorer les performances de la planification incrémentale mono-agent que pour réaliser un système distribué de planification multi-agents. Dans ce système, un plan global est élaboré par composition successive de plans individuels. Ce plan global reste implicite et n'est donc jamais centralisé. On présente ensuite les problèmes spécifiques rencontrés lorsque planification et exécution sont réalisées simultanément. Ces problèmes ouverts sont cruciaux dans un contexte multi-agents. Le document se termine par une illustration et une évaluation sur des exemples appliqués au domaine multi-robots permettant d'apprécier les avantages mais aussi les limites de l'utilisation de ces opérateurs de composition de plans et par une comparaison avec un autre système de planification distribuée

La place et le rôle de la modélisation dans les projets ERP

International audienc

Using model of enterprise and software for deployment of ERP software

International audienc